Bi Directional Prover Operation